1

Relational dual tableau decision procedure for modal logic K

Year:
2012
Language:
english
File:
PDF, 128 KB
english, 2012